On integer points in polyhedra
نویسندگان
چکیده
We give an upper bound on the number of vertices of PI, the integer hull of a polyhedron P, in terms of the dimension n of the space, the number m of inequalities required to describe P, and the size ~ of these inequalities. For fixed n the bound is O(mn~n-1). We also describe an algorithm which determines the number of integer points in a polyhedron to within a multiplicative factor of 1 qE in time polynomial in m, ~ and 1/c when the dimension n is fixed.
منابع مشابه
On Sampling Integer Points in Polyhedra
We investigate the problem of sampling integer points in rational polyhedra provided an oracle for counting these integer points. When dimension is bounded, this assumption is justified in view of a recent algorithm due to Barvinok [B1,B2,BP]. We show that the exactly uniform sampling is possible in full generality, when the oracle is called polynomial number of times. Further, when Barvinok’s ...
متن کاملThe Complexity of Generating Functions for Integer Points in Polyhedra and Beyond
Motivated by the formula for the sum of the geometric series, we consider various classes of sets S ⊂ Z of integer points for which an a priori “long” Laurent series or polynomial P m∈S x m can be written as a “short” rational function f(S;x). Examples include the sets of integer points in rational polyhedra, integer semigroups, and Hilbert bases of rational cones, among others. We discuss appl...
متن کاملAn Algorithmic Theory of Lattice Points in Polyhedra
We discuss topics related to lattice points in rational polyhedra, including efficient enumeration of lattice points, “short” generating functions for lattice points in rational polyhedra, relations to classical and higher-dimensional Dedekind sums, complexity of the Presburger arithmetic, efficient computations with rational functions, and others. Although the main slant is algorithmic, struct...
متن کاملEnumeration of Integer Points in Projections of Unbounded Polyhedra
We extend the Barvinok–Woods algorithm for enumeration of integer points in projections of polytopes to unbounded polyhedra. For this, we obtain a new structural result on projections of semilinear subsets of the integer lattice. We extend the results to general formulas in Presburger Arithmetic. We also give an application to the k-Frobenius problem.
متن کاملSum of Sets of Integer Points of Common-Normal Faces of Integer Polyhedra
We consider the Minkowski sum of subsets of integer lattice, each of which is a set of integer points of a face of an extended submodular [Kashiwabara–Takabatake, Discrete Appl. Math. 131 (2003) 433] integer polyhedron supported by a common positive vector. We show a sufficient condition for the sum to contain all the integer points of its convex hull and a sufficient condition for the sum to i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Combinatorica
دوره 12 شماره
صفحات -
تاریخ انتشار 1992